Abstract Interpretation from a Topological Perspective
نویسنده
چکیده
Interpretation from a Topological Perspective
منابع مشابه
Homomorphisms on Topological Groups from the Perspective of Bourbaki-boundedness
In this note we study some topological properties of bounded sets and Bourbaki-bounded sets. Also we introduce two types of Bourbaki-bounded homomorphisms on topological groups including, n$-$Bourbaki-bounded homomorphisms and$hspace{1mm}$ B$-$Bourbaki-bounded homomorphisms. We compare them to each other and with the class of continuous homomorphisms. So, two topologies are presented on them a...
متن کاملInverse-limit and topological aspects of abstract interpretation
We develop abstract-interpretation domain construction in terms of the inverse-limit construction of denotational semantics and topological principles: We define an abstract domain as a “structural approximation” of a concrete domain if the former exists as a finite approximant in the inverse-limit construction of the latter, and we extract the appropriate Galois connection for sound and comple...
متن کاملCritical Analysis of Women’s Representation in TV Advertisements from a Cultural Studies Perspective
Abstract Through the interpretation of texts, and subsequent creation of social reality, mediated representations are often seen to be presented within the certain of ideological discourses that reflect the existing power structures. The main objective of this paper is to analyze television commercials with an emphasis on gender roles to decode the main elements of a dominant discourse (prefer...
متن کاملAbstract Interpretation From a Denotational-semantics Perspective
interpretation from a denotational-semantics perspective
متن کاملTopological Regluing of Rational Functions
Stony Brook IMS Preprint #2008/4 September 2008 Abstract. Regluing is a topological operation that helps to construct topological models for rational functions on the boundaries of certain hyperbolic components. It also has a holomorphic interpretation, with the flavor of infinite dimensional Thurston–Teichmüller theory. We will discuss a topological theory of regluing, and trace a direction in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009